21. Formal semantics of natural language: papers from a colloquium sponsored by the king's Collge Research Centre, Cambridge

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)

موضوع : Semantics - Congresses,Language and languages - Congresses

رده :
P325
.
C27
1973

22. From discourse to logic: Introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory

پدیدآورنده :

کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)

موضوع : ، Language and logic,، Semantics )Philosophy(,، Meaning )Philosophy(

رده :
BC
57
.
K3F7

23. Handbook of Formal Languages Volume 1 Word, Language, Grammar

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

رده :
QA267
.
3
G794
2013

24. Introduction to formal language theory

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Formal languages

رده :
QA
267
.
3
.
H37

25. Introduction to formal language theory

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)

موضوع : ، Formal language

رده :
QA
267
.
3
.
H37

26. Investigating Tasks in Formal Language Learning

پدیدآورنده :

کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)

27. Investigating Tasks in Formal Language Learning

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Language and languages - Study and teaching,Task analysis in education,زبان - راهنمای آموزشی,کارآمائی در آموزش و پرورش

رده :
P53
,.
82
.
I58

28. Investigating tasks in formal language learning

موضوع : Study and teaching ، Language and languages,، Task analysis in education

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

29. Investigating tasks in formal language learning

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Study and teaching ، Language and languages,، Task analysis in education

رده :
P
53
.
82
.
I58
2007

30. Investigating tasks in formal language learning /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Language and languages-- Study and teaching,Task analysis in education

رده :
P53
.
82
.
I58
2007

31. Investigating tasks in formal language learning

کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)

موضوع : Second language acquisition,Language and languages- Study and teaching,Task analysis in education

رده :
418
.
007
I62

32. Language Acquisition in Study Abroad and Formal Instruction Contexts

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Language teachers-- Training of.,Language acquisition-- Study and teaching.,Language and languages-- Study and teaching.,معلمان زبان -- آموزش ,زبان‌آموزی -- راهنمای آموزشی ,زبان -- راهنمای آموزشی

رده :
P
53
.
85
.
L32
2014
E-Book
,

33. Oriented Formal Language and Method-Structured Object

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING

رده :
E-BOOK

34. Oriented Formal Language and Method-Structured Object

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer Science; Software Engineering/Programming and Operating Systems; Computer Systems Organization and Communication Networks; Information Systems and Communication Service; Theory of Computation

35. Oriented Formal Language and Method-Structured Object

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING

رده :
E-BOOK

36. Oriented Formal Language and Method-Structured Object

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING

رده :
E-BOOK

37. Processes, Beliefs, and Questions Essays on Formal Semantics of Natural Language and Natural Language Processing.

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

38. Regulated rewriting in formal language theory

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Formal languages,، Rewriting systems )computer science(

رده :
QA
267
.
3
.
D37
1989

39. Regulated rewriting in formal language theory

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Formal languages,، Rewriting systems )Computer science(,، Formal languages -- Semantics

رده :
QA
267
.
3
.
D37
1989

40. Research on Tibetan spelling formal language and automata with application

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Tibetan language ; Orthography and spelling ;